A Calculus with Code Mobility

Mobile agent systems have attracted a great deal of attention in recent years. Various agent systems have been proposed and implemented so far. But their systems are usually equipped with their own features that are hard to simulate by other systems even with respect to agent movementmechanisms. Therefore, a generalized framework that can describe various mechanisms in a formal manner is strongly needed. This paper proposes a simple and exible calculus dist, which provides a neat tool for describing movement mechanisms of code, data and execution states.